package prolog.builtins
import prolog.terms._

final case class halt() extends ConstBuiltin("halt") {
  override def exec(p: Prog) = {
    System.exit(0)
    1
  }
}